Visualizing Evaluation in
Applicative Languages

• Introduction
• The Basic Evaltrace Notation
• Nested Lexical Contours
• Scoping and Textual Inclusion
• Closures
• Macro Expansion
• Special Variables
• Conclusion
• References